Joanne M. Atlee: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE Future of Software Engineering - Minneapolis, MN, USA (2007.05.23-2007.05.25)] Future of Software Engineering (FOSE '07) - Research Directions in Requirements Engineering

Cheng, Betty H.C., Atlee, Joanne M.

Year:

2007

Language:

english

File:

PDF, 591 KB

english, 2007

2

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - UCAnDoModels: A Context-Based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams

Pourali, Parsa, Atlee, Joanne M.

Year:

2019

File:

PDF, 5.08 MB

2019

3

A hybrid model for specifying features and detecting interactions

Saheem Siddiqi, Joanne M. Atlee

Journal:

Computer Networks

Year:

2000

Language:

english

File:

PDF, 348 KB

english, 2000

4

Introduction to the best research papers from RE’05

Joanne M. Atlee

Journal:

Requirements Engineering

Year:

2006

Language:

english

File:

PDF, 104 KB

english, 2006

5

Deconstructing the semantics of big-step modelling languages

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu

Journal:

Requirements Engineering

Year:

2010

Language:

english

File:

PDF, 2.01 MB

english, 2010

6

Module reuse by interface adaptation

James M. Purtilo, Joanne M. Atlee

Journal:

Software: Practice and Experience

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

7

Code generation for a family of executable modelling notations

Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker

Journal:

Software & Systems Modeling

Year:

2012

Language:

english

File:

PDF, 1.63 MB

english, 2012

8

Ordering features by category

P. Ann Zimmer, Joanne M. Atlee

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 1.09 MB

english, 2012

9

Guest Editor's Introduction: International Conference on Software Engineering

Atlee, Joanne M., Inverardi, Paola

Journal:

IEEE Transactions on Software Engineering

Year:

2012

Language:

english

File:

PDF, 82 KB

english, 2012

10

[IEEE 2012 IEEE 20th International Requirements Engineering Conference (RE) - Chicago, IL, USA (2012.09.24-2012.09.28)] 2012 20th IEEE International Requirements Engineering Conference (RE) - A feature-oriented requirements modelling language

Shaker, Pourya, Atlee, Joanne M., Wang, Shige

Year:

2012

Language:

english

File:

PDF, 344 KB

english, 2012

11

[IEEE 2013 IEEE 21st International Requirements Engineering Conference (RE) - Rio de Janeiro-RJ, Brazil (2013.07.15-2013.07.19)] 2013 21st IEEE International Requirements Engineering Conference (RE) - A mode-based pattern for feature requirements, and a generic feature interface

Dietrich, David, Atlee, Joanne M.

Year:

2013

Language:

english

File:

PDF, 1.12 MB

english, 2013

12

[IEEE 2011 IEEE 19th International Requirements Engineering Conference (RE) - Trento, Italy (2011.08.29-2011.09.2)] 2011 IEEE 19th International Requirements Engineering Conference - In a ubiquitous world requirements are ubiquitous too

Mascolo, Cecilia, Whalen, Michael, Atlee, Joanne

Year:

2011

Language:

english

File:

PDF, 192 KB

english, 2011

13

[IEEE 2009 17th IEEE International Requirements Engineering Conference (RE) - Atlanta, Georgia, USA (2009.08.31-2009.09.4)] 2009 17th IEEE International Requirements Engineering Conference - Semantic Criteria for Choosing a Language for Big-Step Models

Esmaeilsabzali, Shahram, Day, Nancy A., Atlee, Joanne M., Niu, Jianwei

Year:

2009

Language:

english

File:

PDF, 244 KB

english, 2009

14

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - 5th International workshop on Modeling in Software Engineering (MiSE 2013)

Atlee, Joanne M., France, Robert B., Baillargeon, Robert, Gray, Jeff, Rumpe, Bernhard, Chechik, Marsha, Paige, Richard F.

Year:

2013

Language:

english

File:

PDF, 187 KB

english, 2013

15

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - State-Space Coverage Estimation

Taleghani, Ali, Atlee, Joanne M.

Year:

2009

Language:

english

File:

PDF, 515 KB

english, 2009

16

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07 Companion) - Modeling in Software Engineering

Atlee, Joanne M., France, Robert, Georg, Geri, Moreira, Ana, Rumpe, Bernhard, Zschaler, Steffen

Year:

2007

Language:

english

File:

PDF, 85 KB

english, 2007

17

[IEEE 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - San Francisco, CA, USA (2013.05.25-2013.05.25)] 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Recommendations for improving the usability of formal methods for product lines

Atlee, Joanne M., Beidu, Sandy, Day, Nancy A., Faghih, Fathiyeh, Shaker, Pourya

Year:

2013

Language:

english

File:

PDF, 147 KB

english, 2013

18

[ACM Press the Seventh International Workshop - Pisa, Italy (2013.01.23-2013.01.25)] Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13 - A survey of variability modeling in industrial practice

Berger, Thorsten, Rublack, Ralf, Nair, Divya, Atlee, Joanne M., Becker, Martin, Czarnecki, Krzysztof, Wąsowski, Andrzej

Year:

2013

Language:

english

File:

PDF, 465 KB

english, 2013

19

[IEEE 2013 IEEE Third International Workshop on Requirements Patterns (RePa) - Brazil (2013.07.15-2013.07.15)] 2013 3rd International Workshop on Requirements Patterns (RePa) - A pattern for structuring the behavioural requirements of features of an embedded system

Dietrich, David, Atlee, Joanne M.

Year:

2013

Language:

english

File:

PDF, 297 KB

english, 2013

20

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - Software engineering 2004

Atlee, Joanne M., LeBlanc, Richard J., Lethbridge, Timothy C., Sobel, Ann, Thompson, J. Barrie

Year:

2005

Language:

english

File:

PDF, 203 KB

english, 2005

21

[ACM Press the conference - New Orleans, Louisiana, United States (1991.12.04-1991.12.06)] Proceedings of the conference on Software for citical systems - SIGSOFT '91 - State-based model checking of event-driven system requirements

Atlee, Joanne, Gannon, John

Year:

1991

Language:

english

File:

PDF, 1.11 MB

english, 1991

22

[ACM Press Companion of the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Companion of the 13th international conference on Software engineering - ICSE Companion '08 - Modeling in software engineering

Atlee, Joanne M., France, Robert, Georg, Geri, Moreira, Ana, Rumpe, Bernhard, Völkel, Steven, Zschaler, Steffen

Year:

2008

Language:

english

File:

PDF, 164 KB

english, 2008

23

[ACM Press the 1993 international symposium - Cambridge, Massachusetts, United States (1993.06.28-1993.06.30)] Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 - Analyzing timing requirements

Atlee, Joanne M., Gannon, John

Year:

1993

Language:

english

File:

PDF, 1018 KB

english, 1993

24

State-based model checking of event-driven system requirements

Atlee, Joanne, Gannon, John

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1991

Language:

english

File:

PDF, 1.11 MB

english, 1991

25

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - A logic-model semantics for SCR software requirements

Atlee, Joanne M., Buckley, Michael A.

Year:

1996

Language:

english

File:

PDF, 1.11 MB

english, 1996

26

[ACM Press the 8th ACM SIGSOFT international symposium - San Diego, California, United States (2000.11.06-2000.11.10)] Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 - Composing features and resolving interactions

Hay, Jonathan D., Atlee, Joanne M.

Year:

2000

Language:

english

File:

PDF, 1.00 MB

english, 2000

27

Composable semantics for model-based notations

Niu, Jianwei, Atlee, Joanne M., Day, Nancy A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 1012 KB

english, 2002

28

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - Search-carrying code

Taleghani, Ali, Atlee, Joanne M.

Year:

2010

Language:

english

File:

PDF, 531 KB

english, 2010

29

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Reachability analysis of feature interactions

Pomakis, Keith P., Atlee, Joanne M.

Year:

1996

Language:

english

File:

PDF, 752 KB

english, 1996

30

[ACM Press the Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12 - Feature interaction analysis of the feature-oriented requirements-modelling language using alloy

Dietrich, David, Shaker, Pourya, Atlee, Joanne M., Rayside, Derek, Gorzny, Jan

Year:

2012

Language:

english

File:

PDF, 491 KB

english, 2012

31

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Variable-specific resolutions for feature interactions

Bocovich, Cecylia, Atlee, Joanne M.

Year:

2014

Language:

english

File:

PDF, 297 KB

english, 2014

32

[ACM Press the tenth ACM SIGSOFT symposium - Charleston, South Carolina, USA (2002.11.18-2002.11.22)] Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10 - Composable semantics for model-based notations

Niu, Jianwei, Atlee, Joanne M., Day, Nancy A.

Year:

2002

Language:

english

File:

PDF, 141 KB

english, 2002

33

[IEEE 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering (MiSE) - Florence, Italy (2015.5.16-2015.5.17)] 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering - Incremental and Commutative Composition of State-Machine Models of Features

Beidu, Sandy, Atlee, Joanne M., Shaker, Pourya

Year:

2015

Language:

english

File:

PDF, 687 KB

english, 2015

34

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Monitoring aspects for the customization of automatically generated code for big-step models

Esmaeilsabzali, Shahram, Fischer, Bernd, Atlee, Joanne M.

Year:

2011

Language:

english

File:

PDF, 446 KB

english, 2011

35

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - Scaling exact multi-objective combinatorial optimization by parallelization

Guo, Jianmei, Zulkoski, Edward, Olaechea, Rafael, Rayside, Derek, Czarnecki, Krzysztof, Apel, Sven, Atlee, Joanne M.

Year:

2014

Language:

english

File:

PDF, 560 KB

english, 2014

36

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - Measuring Behaviour Interactions between Product-Line Features

Atlee, Joanne M., Fahrenberg, Uli, Legay, Axel

Year:

2015

Language:

english

File:

PDF, 191 KB

english, 2015

37

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods

Ben-David, Shoham, Sterin, Baruch, Atlee, Joanne M., Beidu, Sandy

Year:

2015

Language:

english

File:

PDF, 835 KB

english, 2015

38

Composing features and resolving interactions

Hay, Jonathan D., Atlee, Joanne M.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 1.00 MB

english, 2000

39

[IEEE 2013 5th International Workshop on Modeling in Software Engineering (MiSE) - San Francisco, CA, USA (2013.05.18-2013.05.19)] 2013 5th International Workshop on Modeling in Software Engineering (MiSE) - Foreword

Atlee, Joanne, Baillargeon, Robert, Chechik, Marsha, France, Robert, Gray, Jeff, Paige, Richard, Rumpe, Bernhard

Year:

2013

Language:

english

File:

PDF, 96 KB

english, 2013

40

Reachability analysis of feature interactions

Pomakis, Keith P., Atlee, Joanne M.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 752 KB

english, 1996

41

[ACM Press the 20th International Systems and Software Product Line Conference - Beijing, China (2016.09.16-2016.09.23)] Proceedings of the 20th International Systems and Software Product Line Conference on - SPLC '16 - Long-term average cost in featured transition systems

Olaechea, Rafael, Fahrenberg, Uli, Atlee, Joanne M., Legay, Axel

Year:

2016

Language:

english

File:

PDF, 491 KB

english, 2016

42

[ACM Press the 18th International Software Product Line Conference - Florence, Italy (2014.09.15-2014.09.19)] Proceedings of the 18th International Software Product Line Conference on - SPLC '14 - Behaviour interactions among product-line features

Shaker, Pourya, Atlee, Joanne M.

Year:

2014

Language:

english

File:

PDF, 639 KB

english, 2014

43

[ACM Press the 2016 ACM SIGPLAN International Conference - Amsterdam, Netherlands (2016.10.31-2016.11.01)] Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering - SLE 2016 - BSML-mbeddr: integrating semantically configurable state-machine models in a C programming environment

Luo, Zhaoyi, Atlee, Joanne M.

Year:

2016

Language:

english

File:

PDF, 472 KB

english, 2016

44

[Advances in Computers] Volume 43 || Using Model Checking to Analyze Requirements and Designs

Year:

1996

Language:

english

File:

PDF, 1.92 MB

english, 1996

45

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Continuous variable-specific resolutions of feature interactions

Zibaeenejad, M. Hadi, Zhang, Chi, Atlee, Joanne M.

Year:

2017

Language:

english

File:

PDF, 1.80 MB

english, 2017

46

[ACM Press the 17th International Software Product Line Conference - Tokyo, Japan (2013.08.26-2013.08.30)] Proceedings of the 17th International Software Product Line Conference on - SPLC '13 - Formal methods and analysis in software product line engineering

Clarke, Dave, Schaefer, Ina, ter Beek, Maurice H., Apel, Sven, Atlee, Joanne M.

Year:

2013

Language:

english

File:

PDF, 105 KB

english, 2013

47

[ACM Press the 13th International Conference - Gothenburg, Sweden (2018.05.28-2018.05.29)] Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '18 - Trace checking for dynamic software product lines

Olaechea, Rafael, Atlee, Joanne, Legay, Axel, Fahrenberg, Uli

Year:

2018

Language:

english

File:

PDF, 525 KB

english, 2018

48

[ACM Press the 21th ACM/IEEE International Conference - Copenhagen, Denmark (2018.10.14-2018.10.19)] Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18 - An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools

Pourali, Parsa, Atlee, Joanne M.

Year:

2018

Language:

english

File:

PDF, 1.41 MB

english, 2018

49

[IEEE 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Hangzhou, China (2019.2.24-2019.2.27)] 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER) - Detecting Feature-Interaction Symptoms in Automotive Software using Lightweight Analysis

Muscedere, Bryan J., Hackman, Robert, Anbarnam, Davood, Atlee, Joanne M., Davis, Ian J., Godfrey, Michael W.

Year:

2019

Language:

english

File:

PDF, 44 KB

english, 2019

50

[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - Living with feature interactions (keynote)

Atlee, Joanne M.

Year:

2019

Language:

english

File:

PDF, 305 KB

english, 2019